how does divisibility rule of 9 work